CartSellback ListOrder LookupSupport
ValoreBooks logo
Cancel
Showing 1 - 4 of 4 Results
1.
Design and Validation of Computer Protocols
Design and Validation of Computer Protocols by Holzmann, Gerard J. ISBN: 9780135399255 List Price: $101.67
$33.84 (Save 66%)
2.
Spin Model Checker Primer and Reference Manual
Spin Model Checker Primer and Reference Manual by Holzmann, Gerard J. ISBN: 9780321228628 List Price: $73.99
$138.76
3.
Partial Order Methods in Verification Dimacs Workshop July 24-26, 1996
Partial Order Methods in Verification Dimacs Workshop July 24-26, 1996 by Artial Order Methods in Ver... ISBN: 9780821805794 List Price: $98.00

OUT OF STOCK

See Availability on Amazon
4.
Spin Verification System Dimacs Workshop, August 5, 1996
Spin Verification System Dimacs Workshop, August 5, 1996 by Egoire, Jean-Charles, Holzm... ISBN: 9780821806807 List Price: $57.00

OUT OF STOCK

See Availability on Amazon